and Implementation

Results: 26428



#Item
251Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits

Add to Reading List

Source URL: chargueraud.org

Language: English - Date: 2017-09-21 08:25:51
252Efficient Implementation of Strict Floating-Point Semantics Kazuyuki Shudo Yoichi Muraoka School of Science and Engineering, Waseda University, 3–4–1 Okubo, Shinjuku-ku, Tokyo 169–8555, JAPAN {shudoh,muraoka}@murao

Efficient Implementation of Strict Floating-Point Semantics Kazuyuki Shudo Yoichi Muraoka School of Science and Engineering, Waseda University, 3–4–1 Okubo, Shinjuku-ku, Tokyo 169–8555, JAPAN {shudoh,muraoka}@murao

Add to Reading List

Source URL: www.shudo.net

Language: English - Date: 2003-06-09 05:29:35
    253◦ x ındy Definition of an Indexing Model and its Implementation

    ◦ x ındy Definition of an Indexing Model and its Implementation

    Add to Reading List

    Source URL: xindy.sourceforge.net

    Language: English - Date: 2004-01-04 16:45:05
      254EATLP Annual Conference 2006 Budapest THE IMPLEMENTATION OF THE INTEREST AND SAVINGS

      EATLP Annual Conference 2006 Budapest THE IMPLEMENTATION OF THE INTEREST AND SAVINGS

      Add to Reading List

      Source URL: www.eatlp.org

      Language: English - Date: 2015-06-10 06:10:20
        255Web Implementation of China Historical GIS and Spatio-Temporal Searching

        Web Implementation of China Historical GIS and Spatio-Temporal Searching

        Add to Reading List

        Source URL: www.people.fas.harvard.edu

        Language: English - Date: 2018-04-13 15:31:17
          256CT General Statutes Statutory Language Regarding Teacher Evaluation and Professional Development Sec. 10-151b. Teacher evaluations. Teacher evaluation and support program; development; adoption; implementation; guideline

          CT General Statutes Statutory Language Regarding Teacher Evaluation and Professional Development Sec. 10-151b. Teacher evaluations. Teacher evaluation and support program; development; adoption; implementation; guideline

          Add to Reading List

          Source URL: m.cea.org

          Language: English - Date: 2014-02-06 16:28:58
            257PWIMS Application Case Study— MIDC — Supply, Implementation and Post-Implementation Support for Works Management Solution. Objective: The objective of Project was to provide efficient service to the current and futur

            PWIMS Application Case Study— MIDC — Supply, Implementation and Post-Implementation Support for Works Management Solution. Objective: The objective of Project was to provide efficient service to the current and futur

            Add to Reading List

            Source URL: d2oc0ihd6a5bt.cloudfront.net

            Language: English - Date: 2014-06-17 05:21:01
              258Massachusetts Planning and Implementation Framework

              Massachusetts Planning and Implementation Framework

              Add to Reading List

              Source URL: www.doe.mass.edu

              Language: English - Date: 2015-10-29 16:48:47
                259Software Implementation of B-Format Encoding and Decoding Angelo Farina (*), Emanuele Ugolotti (**) (*) Dipartimento di Ingegneria Industriale, Università di Parma, Via delle ScienzePARMA - tel. +

                Software Implementation of B-Format Encoding and Decoding Angelo Farina (*), Emanuele Ugolotti (**) (*) Dipartimento di Ingegneria Industriale, Università di Parma, Via delle ScienzePARMA - tel. +

                Add to Reading List

                Source URL: decoy.iki.fi

                Language: English - Date: 2017-03-10 14:23:52
                  260Design and Implementation of the TrustedBSD MAC Framework Robert Watson, Brian Feldman, Adam Migus, Chris Vance Network Associates LaboratoriesOmega Drive, Suit 300 Rockville, MD 20850

                  Design and Implementation of the TrustedBSD MAC Framework Robert Watson, Brian Feldman, Adam Migus, Chris Vance Network Associates LaboratoriesOmega Drive, Suit 300 Rockville, MD 20850

                  Add to Reading List

                  Source URL: www.trustedbsd.org

                  Language: English - Date: 2017-03-18 07:24:34